This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Continue readingThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
Continue readingThe book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held ...
Continue readingThe aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Continue readingThe 18th International Conference on Inductive Logic Programming was held in Prague, September 10–12, 2008. ILP returned ...
Continue readingThis book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
Continue readingThis book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, ...
Continue readingThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 31th Annual German Conference on Artificial Intelligence, ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
Continue readingThe Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Continue readingThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Continue readingThis book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Continue readingThe 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue readingThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Continue readingThe 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Continue reading